Synthesis of Petri Nets with Localities

Synthesis of General Petri Nets with Localities

There is a growing need to introduce and develop computational models capable of faithfully modelling systems whose behaviour combines synchrony with asynchrony in a variety of complicated ways. Examples of such real-life systems can be found from VLSI hardware GALS systems to systems of cells within which biochemical reactions happen in synchronised pulses. One way of capturing the resulting i...

COMPUTING SCIENCE Synthesis of General Petri Nets with Localities

There is a growing need to introduce and develop computational models capable of faithfully modelling systems whose behaviour combines synchrony with asynchrony in a variety of complicated ways. Examples of such real-life systems can be found from VLSI hardware GALS systems to systems of cells within which biochemical reactions happen in synchronised pulses. One way of capturing the resulting i...

Synthesis Problem for Petri Nets with Localities

There is a growing need to introduce and develop computational models capable of faithfully modelling systems whose behaviour combines synchrony with asynchrony in a variety of complicated ways. Examples of such reallife systems can be found from VLSI hardware to systems of cells within which biochemical reactions happen in synchronised pulses. One way of capturing the resulting intricate behav...

Synthesis of Petri Nets with Whole-Place Operations and Localities

Time Delays in Membrane Systems and Petri Nets

Timing aspects in formalisms with explicit resources and parallelism are investigated, and it is presented a formal link between timed membrane systems and timed Petri nets with localities. For both formalisms, timing does not increase the expressive power; however both timed membrane systems and timed Petri nets are more flexible in describing molecular phenomena where time is a critical resou...